Dunuen: A User-Friendly Formal Verification Tool
نویسندگان
چکیده
منابع مشابه
Efficient and User-Friendly Verification
ÐA compositional verification method from a high-level resource-management standpoint is presented for dense-time concurrent systems and implemented in the tool of SGM (State-Graph Manipulators) with graphical user interface. SGM packages sophisticated verification technology into state-graph manipulators and provides a user interface which views state-graphs as basic data-objects. Hence, users...
متن کاملA User-friendly Interface for a Lightweight Verification System
User-friendly interfaces can play an important role in bringing the benefits of a machine-readable representation of formal arguments to a wider audience. The aartifact system is an easy-to-use lightweight verifier for formal arguments that involve logical and algebraic manipulations of common mathematical concepts. The system provides validation capabilities by utilizing a database of proposit...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملSoftware Development Bug Tracking: "Tool Isn't User Friendly" or "User Isn't Process Friendly"
In this article we describe the implementation of software development bug tracking via WebPT/Continuus, in a development organization of about 200 developers, testers and managers of various ranks. We emphasize the interplay of technology, procedures and human nature, and describe our experiences and lessons on how this interplay affects the continuous quality improvement process. Often times,...
متن کاملQualitySNPng: a user-friendly SNP detection and visualization tool
QualitySNPng is a new software tool for the detection and interactive visualization of single-nucleotide polymorphisms (SNPs). It uses a haplotype-based strategy to identify reliable SNPs; it is optimized for the analysis of current RNA-seq data; but it can also be used on genomic DNA sequences derived from next-generation sequencing experiments. QualitySNPng does not require a sequenced refere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2019
ISSN: 1877-0509
DOI: 10.1016/j.procs.2019.09.313